Proceedings 13th Interaction and Concurrency Experience
نویسندگان
چکیده
منابع مشابه
Pre-proceedings of 1st Interaction and Concurrency Experience (ICE’08) Synchronous and Asynchronous Interactions in Concurrent Distributed Systems
We investigate classes of systems based on different interaction patterns with the aim of achieving distributability. As our system model we use Petri nets. In Petri nets, an inherent concept of simultaneity is built in, since when a transition has more than one preplace, it can be crucial that tokens are removed instantaneously. When modelling a system which is intended to be implemented in an...
متن کاملMultiport Interaction Nets and Concurrency
We consider an extension of Lafont’s Interaction Nets, called Multiport Interaction Nets, and show that they are a model of concurrent computation by encoding the full π-calculus in them. We thus obtain a faithful graphical representation of the π-calculus in which every reduction step is decomposed in fully local graph-rewriting rules.
متن کاملProceedings of the 13th annual conference of INEBRIA
© 2016 The Author(s). This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if c...
متن کاملProceedings of the 13th International Workshop on Logic Programming Environments
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article accompanies an invited talk about how the SWI-Prolog environment helps the Prolog programmer solve common problems. It describes the central parts of the graphical development environment as well as the command line tools which we see as vital to the success of the system....
متن کاملEditorial: Concurrency and Computation: Practice and Experience
The journal started twelve years ago when parallel computing technology was getting to the point where it was being used in several practical scenarios. Thus Concurrency: Practice and Experience was launched to highlight papers with a high technical content but in some way or other having a practical flavor. Over the years the scope of the journal has been broadened to reflect the winds of chan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.324.0